Worksession Notes:

#TODO 
1. CircleGroup(ℝ) vector
2. lie_bracket

